*** empty log message ***

diff --git a/src/ChangeLog b/src/ChangeLog
index b9261ed28db4b71c86d8e8f702fc23b32cac85cb..2a13804d77d984f790ac4f613621ecec15c77d69 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2001-05-09  Gerd Moellmann  <gerd@gnu.org>
 
+       * print.c (syms_of_print) <print-length, print-level>: Doc fix.
+
        * xterm.c (note_mouse_highlight): Don't change the mouse cursor
        back to the text cursor shape without need.